<HTML><HEAD><TITLE>neg(+Con,Bool)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>neg(+Con,Bool)</H1>
Bool is the logical negation of the reified truth constraints Con.
<DL>
<DT><EM>Con</EM></DT>
<DD>Constraint
</DD>
<DT><EM>Bool</EM></DT>
<DD>Reified truth value of the constraint
</DD>
</DL>
<H2>Description</H2>
<P>
   Equivalent to B $= (Con), Bool #= 1-B</P>
   <P>
   Bool is the logical negation of the reified truth constraint Con.  Con
   must be a constraint that has a corresponding reified form.

<H2>See Also</H2>
<A HREF="../../lib/ic/and-2.html">and / 2</A>, <A HREF="../../lib/ic/and-3.html">and / 3</A>, <A HREF="../../lib/ic/neg-1.html">neg / 1</A>, <A HREF="../../lib/ic/or-2.html">or / 2</A>, <A HREF="../../lib/ic/or-3.html">or / 3</A>, <A HREF="../../lib/ic/EG-2.html">=> / 2</A>, <A HREF="../../lib/ic/EG-3.html">=> / 3</A>, <A HREF="../../lib/ic/ENE-3.html">=:= / 3</A>, <A HREF="../../lib/ic/EL-3.html">=< / 3</A>, <A HREF="../../lib/ic/ERE-3.html">=\= / 3</A>, <A HREF="../../lib/ic/GE-3.html">>= / 3</A>, <A HREF="../../lib/ic/G-3.html">> / 3</A>, <A HREF="../../lib/ic/L-3.html">< / 3</A>
</BODY></HTML>
